ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
из данного множества посылок - высказывание, являющееся истинным при любой интерпретации нелогич. символов (т. е. имен объектов, функций, предикатов), при к-рой истинны посылки. Если высказывание Аявляется Л. с. из множества высказываний Г, то говорят, что Г логически влечет Аили что Алогически следует из Г.
Если Г - множество предложений нек-рого формализованного логико-математич. языка 1-го порядка, А - предложение того же языка, то отношение "А - логич. следствие из Г" означает, что всякая модель для Г является моделью для А. Это отношение обозначается 
Лит.:[1] Р а с е в а Е., С и к о р с к и й Р., Математика метаматематики, пер. с англ., М., 1972; [2] G o d е l К., "Моnatsh. Math. und Phys.", 1930, Bd 37, S. 349-60. В. Е. Плиско.
Смотреть больше слов в «Математической энциклопедии»
Смотреть что такое ЛОГИЧЕСКОЕ СЛЕДСТВИЕ в других словарях:
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок ... смотреть
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
одно из осн. понятий логики, выражающее отношение (отношение логического следования) между высказываниями, зависящее от их логического содержания. Согласно принятому (в классической логике) определению, высказывание В есть Л. с. высказывания А (или множества высказываний Г), если, и только если, при любых значениях переменных в их логических формах В, А (Г) (иначе говоря, при любых изменениях конкретных содержаний В, А или Г) В не может быть ложным, когда истинно А (все выражения Г). Это понятие Л. с. не вполне соответствует интуитивному употреблению в практике научного познания термина “Л. с.”. Это несоответствие проявляется в т. наз. “парадоксах” следования (из противоречивого высказывания следует любое, и логически истинное следует из любого высказывания). В 60-х гг. 20 в. возникло новое направление в логике — релевантная логика, основной целью к-рой является выработка более точного понятия Л. с. (здесь отношение Л. с. понимается исходя из того, что логическое содержание В есть часть логического содержания А). С понятием Л. с. непосредственно связано понятие логической правильности рассуждений (Правильность и истинность). Л. с. имеет важное значение для определения ряда понятии логики научного познания (закона науки, научного объяснения и др.). ... смотреть
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
ЛОГИЧЕСКОЕ СЛЕ́ДСТВИЕ суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения... смотреть
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ, суждение (предложение, высказывание, формула), полученное посредством дедуктивного рассуждения из некоторых исходных суждений.ЛОГИЯ# (от греч. logos - слово, учение), часть сложных слов, означающая: наука, знание, учение, напр., геология, филология.<br><br><br>... смотреть
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ - суждение (предложение, высказывание, формула), полученное посредством дедуктивного рассуждения из некоторых исходных суждений. ...ЛОГИЯ (от греч. logos - слово - учение), часть сложных слов, означающая: наука, знание, учение, напр., геология, филология.<br>... смотреть
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок вывода, состоящего из ряда умозаключений), т.е. выводимое из посылок на основе правил и законов логики. См. Следствие. ... смотреть
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ , суждение (предложение, высказывание, формула), полученное посредством дедуктивного рассуждения из некоторых исходных суждений.
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ, суждение (предложение, высказывание, формула), полученное посредством дедуктивного рассуждения из некоторых исходных суждений.
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
- суждение (предложение, высказывание, формула),полученное посредством дедуктивного рассуждения из некоторых исходныхсуждений.
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
consecution вчт., logical consequence, consequent
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
логі́чний ви́сновок
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ
лагічная выснова